logic in computer science中文是什么意思

• 计算机科学中的逻辑学
• 计算机逻辑

• logic    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
• computer    n. 1.计算者。 2.(电子)计算机；计量器。 短语和 ...
• science    n. 1.科学；科学研究。 2.(一门)科学，学科。 3 ...
• logic of science    科学逻辑
• science of logic    逻辑学
• computer logic    机七辑; 计算机逻辑
• logic computer    逻辑计算机; 逻辑运算计算机
• computer science    电脑工程; 电脑科学系; 和计算机科学; 计算机技术与科学; 计算机学
• bachelor of science in computer science    计算机科学学士
• master of science in computer science    计算机科学理学硕士
• science of ordinary logic    普通逻辑学
• block logic computer    块逻辑计算机
• cellular logic computer    细胞逻辑计算机
• computer logic circuit    计算机逻辑电路; 计算计逻辑电路
• computer logic designing    电脑逻辑设计; 计算机逻辑设计
• distributed logic computer    分布逻辑计算机
• indistinct logic computer    模糊推理机
• logic in memory computer    逻辑连接计算机
• logic-controlled sequential computer    逻辑控制时序计算机
• magnetic logic computer    磁逻辑电路计算机; 磁逻辑计算机
• magnetic-logic computer    磁逻辑计算机
• stored logic computer    存储逻辑计算机
• test program and logic computer    测试程序和逻辑计算机
• advances in computer science    计算机科学研究新进展
• application computer science    应用计算机科学

• A machine checkable logic of knowledge for specifying security properties of electronic commerce protocols . in proc . 13th ieee annual symposium on logic in computer science lics98 workshop on formal methods and security protocols , indianapolis , indiana , june 21 - 24 , 1998 , http : citeseer . ist . psu . edu clarke98machine . html
  为了验证更多的性质,我们的公理集中加入了一些新的特性,如动态性,使我们可以推导协议的每个执行步所得到的知识还有秘密性,我们在公理中加入那些处理智能体间共享秘密的公理